automated theorem checking造句

例句与造句

1. In the late sixties, he designed the Automath language for representing mathematical proofs, so that they could be verified automatically ( see automated theorem checking ).
2. It's difficult to find automated theorem checking in a sentence. 用automated theorem checking造句挺难的